IoT-Intelligence and Web Stream Reasoning Towards Complex Reasoning over Big Data Streams with Answer Set Programming Alessandra Mileo Senior Research Fellow

Source URL: www.vcla.at

The Fourth Answer Set Programming Competition: Preliminary Report? Mario Alviano1 , Francesco Calimeri1 , G¨unther Charwat2 , Minh Dao-Tran2 , Carmine Dodaro1 , Giovambattista Ianni1 , Thomas Krennwallner2 , Martin Kron

Source URL: www.ghxiao.org

1 Under consideration for publication in Theory and Practice of Logic Programming claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

Source URL: www.cs.uni-potsdam.de

• Machine learning
• Algorithm Selection
• Answer set programming
• Solver
• Feature selection
• Algorithm
• K-nearest neighbors algorithm
• K-means clustering
• Problem solving
• Branch and bound

Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker Joost Vennekens Hanne Vlaeminck

Source URL: people.cs.kuleuven.be

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

Answer Set Programming with Resources Stefania Costantini Dipartimento di Informatica, Universit` a di L’Aquila via Vetoio, IL’Aquila, Italy

Source URL: costantini.di.univaq.it

Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Model theory
• Stable model semantics
• Natural deduction
• Pi system

Team-building with Answer Set Programming in the Gioia-Tauro Seaport G. Grasso1 , S. Iiritano2 , V. Lio2 , F. Ricca1 , and F. Scalise3 1 2

Source URL: ceur-ws.org

Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

Source URL: www.iasi.cnr.it

Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm